Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
231	A Constraint Seeker: Finding and Ranking Global Constraints from Examples Nicolas Beldiceanu1 and Helmut Simonis2? 1 Mines de Nantes, LINA UMR 6241, FRNantes, France Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2011-04-27 04:50:42 Computing Constraint satisfaction problem Constraint Binary constraint Backtracking Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
232	Grading Criteria - ISYE6202 Fall2012 1. The selection of proper characteristics would be counted for 1 point in each subproblem, where another 1 point will only be awarded to proper explanations. 2. a-b. In order to get Add to Reading List Source URL: www2.isye.gatech.edu Language: English - Date: 2012-11-19 21:25:59 Systems engineering Mathematical optimization Constraint programming Operations research
233	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
234	SOGgy Constraints: Soft Open Global Constraints Michael J. Maher NICTA? and University of NSW Sydney, Australia Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2009-06-18 05:17:46 Computing Local consistency Constraint algorithm Decomposition method Constraint satisfaction Constraint programming Software engineering Computer programming
235	Online Make-to-Order Joint Replenishment Model: Primal Dual Competitive Algorithms N. Buchbinder∗ T. Kimbrel† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:32 Linear programming Theoretical computer science Algorithm Mathematical optimization Constraint algorithm Decomposition method Operations research Mathematics Applied mathematics
236	Beating the random assignment on constraint satisfaction problems of bounded degree Boaz Barak∗ arXiv:1505.03424v1 [cs.CC] 13 May 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-05-13 20:27:45 Mathematics MAX-3SAT Constraint satisfaction problem 2-satisfiability Constraint satisfaction Decomposition method Local consistency Constraint programming Theoretical computer science Applied mathematics
237 $Applied mathematics / Linear programming / Convex optimization / Combinatorial optimization / Duality / Simplex algorithm / Assignment problem / Constraint / Linear-fractional programming / Mathematical optimization / Operations research / Mathematics$	LINEAR PROGRAMMING A Concise Introduction Thomas S. Ferguson Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www.usna.edu Language: English - Date: 2009-01-22 13:46:48 Applied mathematics Linear programming Convex optimization Combinatorial optimization Duality Simplex algorithm Assignment problem Constraint Linear-fractional programming Mathematical optimization Operations research Mathematics
238	Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems Moses Charikar∗ Konstantin Makarychev∗† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:07 Operations research NP-complete problems Linear programming Real algebraic geometry Semidefinite programming 2-satisfiability Mathematical optimization Constraint satisfaction problem Constraint satisfaction Theoretical computer science Applied mathematics Computational complexity theory
239	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
240	Executing Specifications using Synthesis and Constraint Solving Viktor Kuncak?1 , Etienne Kneuss1 , and Philippe Suter1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:01:49 Computer programming Constraint satisfaction problem Satisfiability Modulo Theories Constraint satisfaction Constraint logic programming Constraint programming Theoretical computer science Software engineering

UPDATE